81. Formal Concept Analysis
Author: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
82. Formal concept analysis
Author: Petko Valtchev, Robert Jeaschke (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
Classification :
QA
،
171
.
5
،.
I55
،
2011
83. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
Author: M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
306
84. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
Author: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
6
.
F6858
1986
85. Foundations of Logic and Mathematics
Author: by Yves Nievergelt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
86. Foundations of logic and mathematics
Author: / Yves Nievergelt
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Set theory,Number theory,Computer science -- Mathematics
Classification :
QA
9
.
N53
2002
87. Foundations of logic and mathematics: applications to computer science and cryptography
Author: Nievergelt, Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
Classification :
QA
9
.
N53
2002
88. Foundations of logic and mathematics : applications to computer science and cryptography
Author: Nievergelt, Yves, 4591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
Classification :
QA
9
.
N5
89. From logic to computing
Author: / Robert P. McArthur,McArthur
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer Science,Logic, Symbolic and mathematical
Classification :
QA
76
.
M365
1991
90. From natural language processing to logic for expert systems
Author: / editor Andre Thayse authors Jean -Louis Binot.. [et al.]
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Natural language prodceeing (Computer science),Expert systems -- (Computer science),Logic, Symbolic and mathematical,Artificial intelligence
Classification :
QA
76
.
9
.
N38F76
1991
91. Frontiers of Combining Systems
Author: Silvio Ghilardi, Roberto Sebastiani (Eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
F76
2009
92. Frontiers of combining systems :
Author: Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
F76
2013
93. Frontiers of combining systems :
Author: Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
F76
2011
94. Frontiers of combining systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Author: Alessandro Armando )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2309
95. Frontiers of combining systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
Author: Bernhard Gramlich )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
3717
96. Frontiers of combining systems : third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
Author: Helene Kirchner, Christophe Ringeissen, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
1794
97. Fuzzy Databases :
Author: by Frederick E. Petry.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA8
.
9-10
.
3
98. Fuzzy-Logik :
Author: von Gert Böhme.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Engineering.,Logic, Symbolic and mathematical.
99. Fuzzy Relational Systems
Author: by Radim Bělohlávek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
100. Fuzzy Sets in Approximate Reasoning and Information Systems
Author: edited by James C. Bezdek, Didier Dubois, Henri Prade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
